1. Formal specification :
پدیدآورنده : Nimal Nissanke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software -- Development.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N563
1999
2. Introductory logic and sets for computer
پدیدآورنده : / Nimal Nissanke
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Computer Logic,Set theory
رده :
004
.
015113
N726i
3. Introductory logic and sets for computer scientists
پدیدآورنده : / Nimal,Nissanke
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی كاشان (اصفهان)
موضوع : Computer logic
رده :
QA76
.
9
.
N724i
1999
4. Introductory logic and sets for computer scientists
پدیدآورنده : Nissanke, Nimal.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer logic,، Set theory
رده :
QA
76
.
9
.
L63
N57
1999
5. Introductory logic and sets for computer scientists
پدیدآورنده : Nimal Nissanke
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer logic,Set theory
رده :
QA
76
.
9
.
L63
,
N57
6. Introductory logic and sets for computer scientists
پدیدآورنده : Nissanke, Nimal
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer logic,، Set theory
رده :
QA
76
.
9
.
L63
.
N57
1999
7. Introductory logic and sets for computer scientists
پدیدآورنده : Nimal Nissanke
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer logic,Set theory
رده :
QA
76
.
9
.
L63
,
N57
